Lecture Notes in Computer Science

Results: 278



#Item
261Commitment scheme / XTR / Homomorphic encryption / Electronic voting / Blind signature / Zero-knowledge proof / Homomorphic secret sharing / Cryptography / Verifiable secret sharing / Public-key cryptography

In Advances in Cryptology—EUROCRYPT’96, Vol[removed]of Lecture Notes in Computer Science, Springer-Verlag, 1996. pp[removed]Multi-Authority Secret-Ballot Elections with

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2001-04-03 10:12:11
262Extreme programming / Computing / Mutation testing / Code coverage / JUnit / Unit testing / Validity / Reliability engineering / Internal validity / Software development / Software / Software testing

This is a preprint of an article published in Lech Madeyski, “On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests”, in Product Focused Software Process Improvement, ser. Lecture Notes in Computer Science, J. Mnch and P. Abrahamsson, Eds.,

Add to Reading List

Source URL: madeyski.e-informatyka.pl

Language: English - Date: 2011-12-21 07:37:51
263Digital signal processing / Multiplication / Computer arithmetic / Computational complexity theory / Analysis of algorithms / Multiplication algorithm / Fibonacci number / Euclidean algorithm / Time complexity / Mathematics / Theoretical computer science / Applied mathematics

Lecture Notes for Algorithm Analysis and Design Sandeep Sen1 November 6, 2013

Add to Reading List

Source URL: www.cse.iitd.ernet.in

Language: English - Date: 2013-11-05 21:54:26
264Type theory / Compiler optimizations / Programming language implementation / Cross-platform software / Object-oriented programming / Inline caching / Smalltalk / Inline expansion / Just-in-time compilation / Software engineering / Computing / Computer programming

Published in ECOOP ‘91 proceedings, Springer Verlag Lecture Notes in Computer Science 512, July, [removed]Optimizing

Add to Reading List

Source URL: selflanguage.org

Language: English - Date: 2012-01-01 23:30:35
265Mathematics / Logic in computer science / Theory of computation / Type theory / Computability theory / Simply typed lambda calculus / Combinatory logic / Typed lambda calculus / Normalization property / Theoretical computer science / Lambda calculus / Mathematical logic

Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics

Add to Reading List

Source URL: www.mscs.dal.ca

Language: English - Date: 2013-09-21 21:21:50
266Software architecture / Event-driven programming / Event / Mouse / GUI widget / Observer pattern / Eiffel / User interface / Computing / Software engineering / Software design patterns

To be cited as follows: Bertrand Meyer, The power of abstraction, reuse and simplicity: an object-oriented library for event-driven design, to appear in Festschrift in Honor of Ole-Johan Dahl, eds. Olaf Owe et al., Springer-Verlag, Lecture Notes in Computer Science 2635, 2003.

Add to Reading List

Source URL: se.ethz.ch

Language: English - Date: 2011-03-11 06:33:07
267Lambda calculus / Computability theory / Theoretical computer science / ATS / Envelope / Monad / Caml / Normalisation by evaluation / Combinatory logic / Software engineering / Mathematics / Computing

Author manuscript, published in "Lecture notes in computer science (2011)" DOI : [removed][removed]9_26

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2011-12-12 09:47:02
268Pseudorandomness / Pseudorandom number generators / Computational complexity theory / Pseudorandom generator theorem / Pseudorandom generator / Randomized algorithm / Blum Blum Shub / Information theory / XTR / Theoretical computer science / Applied mathematics / Mathematics

Appears in Cryptography and Coding: 10th IMA International Conference, Lecture Notes in Computer Science[removed]–375. Springer-Verlag. Concrete Security of the Blum-Blum-Shub

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2006-02-27 04:40:52
269Colette Rolland / Jan Dietz / Klaus Dittrich / École Polytechnique Fédérale de Lausanne / ETH Zurich / Wil van der Aalst / Rudi Studer / Information technology / Technology / Arne Sølvberg / Academia

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Add to Reading List

Source URL: f3.tiera.ru

Language: English - Date: 2007-05-25 16:09:00
270Search algorithms / Error detection and correction / Pseudorandom function family / Hash function / Random oracle / Optimal asymmetric encryption padding / Feistel cipher / Collision resistance / Advantage / Cryptography / Cryptographic hash functions / Hashing

A preliminary version appears at ICALP, Lecture Notes in Computer Science, Springer-Verlag, [removed]Robust Multi-Property

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2008-08-14 09:00:13
UPDATE